Extensional and Intensional Semantics of pUML Objects

Language UML (Unified Modeling Language) brought new generation into specification, realization and documentation of information systems and thanks to its open architecture it becomes as standard. Naturally, there have come different kinds of lacks, where the most important is probably the fact, that the semantic is defined using natural language. This finally results in many imperfections, for example ambiguity in understanding written models. As a fail-back from this situation we can use language pUML(PreciseUML), where this language is well formed defined using mathematical language Z. Purpose of this document is not only to present more precisely defined language pUML, but also use analytical philosophy to improve software specification process.